In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Lifting classical results to such logics turns out not to be straightforward, because independence conditions make the formulas sensitive to signalling phenomena. In particular, nested quantification over the same variable is shown to cause problems. For instance, renaming of bound variables may change the interpretations of a formula, there are only restricted quantifier extraction theorems, and slashed connectives cannot be (...) so easily removed. Thus we correct some claims from Hintikka [8], Caicedo & Krynicki [3] and Hodges [11]. We refine definitions, in particular the notion of equivalence, and sharpen preconditions, allowing us to restore those claims, including the prenex form theorem of Caicedo & Krynicki [3], and, as a side result, we obtain an application to Skolem forms of classical formulas. It is a known fact that a complete calculus for IF-logic is impossible, but with our results we establish several quantifier rules that form a partial calculus of equivalence for a general version of IF-logic reflecting general properties of information flow in games. (shrink)

We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...) logic has the finite model property. Analogues of the classical modal systems D, T, S4 and S5 are considered also, and the completeness results are extended to languages enriched with a discrete well ordered set of truth constants. (shrink)

It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...) algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be "completed" conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives. (shrink)

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...) connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. (shrink)

It is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.

"Contains a balanced account of recent advances in set theory, model theory, algebraic logic, and proof theory, originally presented at the Tenth Latin American Symposium on Mathematical Logic held in Bogata, Columbia. Traces new interactions among logic, mathematics, and computer science. Features original research from over 30 well-known experts worldwide.".

In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowski’s theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid (...) models. (shrink)

We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.

We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...) of L are not normal for vocabularies of uncountable power ωα. It also follows that first-order logic is the only finite-dependence logic having normal model spaces and satisfying at the same time the downward Löwenheim-Skolem theorem and uniform reduction for pairs. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

Este trabajo se encuadra dentro de una nueva visión de la lógica de Leibniz, la cual pretende mostrar que sus escritos fueron ricos no solamente en proyectos ambiciosos sino también en desarrollos lógico-matematicos concretos. Se demuestra que su “Caracteristica Numerica” que asigna pares de números a las proposiciones categóricas es una semántiea para la cual la silogística aristotélica es correcta y completa, y que el sistema algebraico presentado en Fundamentos de un Cálculo Lógico es una lógica algebraica similar a la (...) de Boole.This work is a contribution to a new view of Leibniz’s logic, pretending to show that his writings were not only rich in projects, but also in concrete logico-mathematical developments. We prove that his “Numerical Characteristic” assigning pairs of numbers to terms of categorical propositions, is a complete and correct semantics for aristotelian syllogistic, and the algebraic system presented in Fundamentals of Logical Calculus is essentially a complete version of boolean algebraic logic. (shrink)

We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL ωω (Th) or countably compact regular sublogic ofL ∞ω (Th), properly extendingL ωω , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies eitherΔ-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (...) ∞ω (Th) in which Chang's quantifier or some cardinality quantifierQ α, with α≧1, is definable. (shrink)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

Idea „obcego” u Paula Ricoeura łączy się ściśle z jego biografią oraz wymiarem etycznym jego dzieła. Sam Ricoeur doświadczył poczucia obcości, gdyż wiele lat przebywał poza Francją, wykładając w Chicago. Obcość związana była z dystansem wobec paryskiego środowiska filozoficznego zdominowanego przez Sartre’a oraz strukturalizm. W samym dziele „obcy” rozpatrywany jest w perspektywie gościnności oraz wspaniałomyślności. Ricoeur nawiązywał do tradycji biblijnej oraz do E. Levinasa. W porównaniu z tym ostatnim „inny” nie jest radykalną odwrotnością „ja”, lecz kimś podobnym do „ja”. Przyjęcie (...) „obcego” posiada także konsekwencje społeczno-polityczne. Trzymając się realizmu, unika się ryzyka zamknięcia ideologicznego czy utopii „wiecznego pokoju” Kanta. (shrink)

The global pesticide complex has transformed over the past two decades, but social science research has not kept pace. The rise of an enormous generics sector, shifts in geographies of pesticide production, and dynamics of agrarian change have led to more pesticide use, expanding to farm systems that hitherto used few such inputs. Declining effectiveness due to pesticide resistance and anemic institutional support for non-chemical alternatives also have driven intensification in conventional systems. As an inter-disciplinary network of pesticide scholars, we (...) seek to renew the social science research agenda on pesticides to better understand this suite of contemporary changes. To identify research priorities, challenges, and opportunities, we develop the pesticide complex as a heuristic device to highlight the reciprocal and iterative interactions among agricultural practice, the agrochemical industry, civil society-shaped regulatory actions, and contested knowledge of toxicity. Ultimately, collaborations among social scientists and across the social and biophysical sciences can illuminate recent transformations and their uneven socioecological effects. A reinvigorated critical scholarship that embraces the multifaceted nature of pesticides can identify the social and ecological constraints that drive pesticide use and support alternatives to chemically driven industrial agriculture. (shrink)

Este artigo busca dimensionar um conjunto de políticas públicas nacionais para a juventude desenvolvidas e implementadas durante os anos 2000 no Brasil. Neste âmbito, propõe discutir a variedade dos conceitos de juventude, principalmente relacionados ao limite cronológico e a algumas ideias relacionadas, entre as quais, ocupação do tempo, pobreza e risco social associados ao indivíduo considerado jovem pela Sociologia. O objetivo principal é levantar e resumir dados importantes sobre algumas políticas nacionais para a juventude, refletindo sobre a escola, principalmente a (...) instituição pública, como espaço para a diminuição da vulnerabilidade social, propondo reflexões sobre o papel do administrador escolar e do orientador educacional na viabilização do acesso a direitos para a população jovem. (shrink)

O artigo em questão trata do conceito de “escrita-currículo”, produzido no âmbito da perspectiva cultural de Educação Física. A partir da “pedagogia do conceito” inscrita na perspectiva filosófica de Félix Guattari e Gilles Deleuze, analisamos o referido conceito tomando como referência os elementos de: assinatura, historicidade, campo de imanência, elementos e componentes, multiplicidade, personagem conceitual, traços de intensidade e objetividade. Assim, vimos que o conceito procura movimentar de uma outra forma as práticas pedagógicas prescritas, fixas, rígidas, tradicionais, tecnicistas, procedimentais, acríticas, (...) homogeneizantes, moralizantes, deterministas e sequenciais. (shrink)

In this article we defend the inferential view of scientific models and idealisation. Models are seen as “inferential prostheses” (instruments for surrogative reasoning) construed by means of an idealisation-concretisation process, which we essentially understand as a kind of counterfactual deformation procedure (also analysed in inferential terms). The value of scientific representation is understood in terms not only of the success of the inferential outcomes arrived at with its help, but also of the heuristic power of representation and their capacity to (...) correct and improve our models. This provides us with an argument against Sugden’s account of credible models: the likelihood or realisticness (their “credibility”) is not always a good measure of their acceptability. As opposed to “credibility” we propose the notion of “enlightening”, which is the capacity of giving us understanding in the sense of an inferential ability. (shrink)

In this work, I analyze our concept of cause in the face of criticism of Bertrand Russell in his article “On the Notion of Cause”. For Russell, there is an estrangement between the notion of cause and mature science of physics. The word cause (and its correlates) would not be used in physics, thus eliminating the main justification of philosophy for his job—the foundation of science. Thus, the various causal notions and the principle of causality should be abandoned by philosophers (...) as something outdated. The aim of this study is to assess the extent to which our notion of cause, with its asymmetric nature, can be explained by physics and investigate the question of the existence of causes in our world. (shrink)

Ce livre est la version révisée et abrégée de la thèse de doctorat de l’auteure, effectuée dans le cadre du projet « Emotionalität in der Literatur des Mittelalters » à l’Université libre de Berlin. Bien que le mot n’apparaisse qu’en sous-titre, l’objet principal de ce livre est avant tout la colère des rois. En effet, l’auteure s’intéresse à la manière dont cette émotion est exprimée dans quatre textes de genres différents : un texte théorique, le Policratus de Jean de Salisbury; (...) un texte hi... (shrink)

This article exposes some characteristics of the first Arab interpretations on Aristotle´s Poetics. The thought of Abu Bishr Matta, al-Kindī and Alfarabi, philosophers previous to Avicenna, shows us that the Arabs included the Poetics as a logical treatise, but also they understand it throug..

Este estudo se dispõe a reflexão sobre a relação entre o Direito Tributário e a proteção ambiental, pela análise das normas regulatórias tributárias, atuando como agente desestimulador de condutas degradantes ao meio ambiente. Normas tributárias podem ser utilizadas como instrumentos estimuladores do desenvolvimento sustentável e desestimuladores de condutas degradantes ambientais. A Constituição Federal estabeleceu as premissas do desenvolvimento econômico. A empresa deve atender a critérios, como desenvolver-se promovendo redução de desigualdades sociais, atendendo às relações de consumo e preservação ambiental. Neste (...) artigo se demonstra a importância das normas tributárias extrafiscais na regulação e contenção de danos ambientais. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Response to Elvira Panaiotidi, “The Nature of Paradigms and Paradigm Shifts in Music Education”Carlos Xavier RodriguezElvira Panaiotidi has delivered a very useful and appealing paper on the topic of how the music education community decides it is time to change the way it thinks and acts. Her primary focus is whether the concept of "paradigms" proposed by Thomas Kuhn in The Structure of Scientific Revolutions reasonably explains how (...) change occurs in music education theory and practice and, if not, whether it can be modified so that it does. Following Peter Abbs' account of paradigm shifts in arts education, she proposes that paradigm shifts occur when methods of inquiry change even if what is being analyzed does not change. More specifically, paradigm shifts involve gradual transformations such that certain principles and terminology are carried over from the previous paradigm to the new one, and change at a slower rate than the methodologies adopted to make sense of them. Such discrepancy creates the kind of communicative discord she alludes to in her introduction: the aesthetic/praxial debate. Her further analysis of Abbs' argument leads her to conclude that the paradigm shifts he describes in arts education are different in kind from those intended by Kuhn. They apparently lack conceptual modification, or "conversion experience," and seem motivated by the need for increasingly comprehensive explanations of artistic behavior and thinking.Panaiotidi's synopsis of Kuhn's original criteria for paradigms reminded me [End Page 108] that his Structure of Scientific Revolutions as my first college textbook, exerted a powerful influence on me by its power to explain how humans formulate and react to new and better ideas. Panaiotidi seems to share this feeling, and scrutinizes Kuhn's original intention to use paradigms as a way of delineating the natural sciences from the humanities. Kuhn himself cautioned that his characterization of change and progress in science is not readily applicable to the arts and, more importantly, that interpretive frameworks for understanding art are not paradigms because paradigms are not theories, a distinction he echoed throughout his career. I argue that Kuhn would not consider the aesthetic and praxial approaches to music education paradigms at all; rather they are more a search for "a more inclusive theory" as Panaiotidi states. However, the ready applicability of Kuhn's criteria for paradigms to the work of music education philosophers is apparent. Their writings have been "sufficiently unprecedented to attract an enduring group of adherents away from competing modes of scientific activity." They have become associated with new methodological strategies because their writings are "sufficiently open-ended to leave all sorts of problems for the redefined group of practitioners to solve."There is, however, quite a difference in the way that science and art communities function. As Ted Gracyk writes in his book, I Wanna Be Me: Rock Music and the Politics of Identity:Where a scientific community singles out one paradigm as the foundation for further research, artistic communities do not. Once Newtonian mechanics was accepted as a scientific paradigm, no other approach to mechanics counted as a rational basis for mechanics. "Unlike art," Kuhn observes, "science destroys its past." The artworld can admire multiple paradigms, representing different periods in art history, without risking incoherence: Picasso's success did not lead museums to put their Rembrandts into storage."1Perhaps, then, the discord noted by Panaiotidi between "aestheticians" and "praxialists" arises not from a shortcoming of music education theory to provide what she calls "tenacious theoretical footing which could help settle the dispute," but from a too-literal interpretation of Kuhn's original criterion that applies to the natural sciences: new paradigms must necessarily refute those that have preceded them. Indeed, the music education research community has grappled with this very issue in its polarized views of acceptable research practice, which is perhaps more fundamentally a misunderstanding regarding the nature of the sciences versus the nature of the humanities. We in arts education have long admired scientific inquiry for its relative stability, what Kuhn calls a "normal" versus "revolutionary" mode of activity. However, as Panaiotidi explains, "Normal science [End Page 109] is characterized by a broad consensus of the specialists and is not by its nature... (shrink)